with(a)b=c
